Towards a Logic of Argumentation
نویسندگان
چکیده
Starting from a typology of argumentative forms proposed in linguistics by Apothéloz, and observing that the four basic forms can be organized in a square of oppositions, we present a logical language, somewhat inspired from generalized possibilistic logic, where these basic forms can be expressed. We further analyze the interplay between the formulas of this language by means of two hexagons of oppositions. We then outline the inference machinery underlying this logic, and discuss its interest for argumentation.
منابع مشابه
Towards a multi-valued logic for argumentation
The objective of our paper is to investigate the possibilities of a logical representation for argumentation executed in multi-agent systems. We concentrate particularly on belief’s uncertainty and revision that an agent deals with throughout the process of discussion. Moreover, we propose a formalism based on a multi-valued logic that allows for specification of properties of multi-agent syste...
متن کاملModeling Defeasible Argumentation within a Possibilistic Logic Framework with Fuzzy Unification
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at object-language level. This paper presents a first approach towards extending P-DeLP to incorporate fuzzy constants and fuzzy propositional variables. We focus on how to characteri...
متن کاملMulti-valued Argumentation Frameworks
In this paper we explore how the seminal Dung’s abstract argumentation framework can be extended to handle arguments containing gradual concepts. We allow arguments to have a degree of truth associated with them and we investigate the degree of truth to which each argument can be considered accepted, rejected and undecided by an abstract argumentation semantics. We propose a truth-compositional...
متن کاملGeneralized Abstract Argumentation: A First-order Machinery towards Ontology Debugging
Same as Dung’s abstract argumentation framework (AF), the notion of generalized abstract argumentation framework (GenAF) aims at reasoning about inconsistency disregarding any logic for arguments; thus both the knowledge base (KB) and language to express beliefs remain unspecified. Nonetheless, reifying the abstract configuration of the AF argumentation machineries to specific logics may bring ...
متن کاملTowards a General Model for Argumentation Services
LA is a formal Logic of Argument which was originally developed as a flexible foundation for knowledge-level decision models, and to facilitate explanation and userinterface design. The logic has a clear semantics and is embodied in the PROforma language, a simple but effective representation for modeling decisions, plans and software agents. ASPIC is an EU funded project1 that aims to develop ...
متن کامل